Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
681	Type Inference for First-Class Messages with Match-Functions Paritosh Shroff Scott F. Smith Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-10-26 21:47:01 Software engineering Type inference Lambda calculus Standard ML Kind System F Type system Hindley–Milner Unification Type theory Programming language theory Theoretical computer science
682	SD-CSR002-02 Attacment02 SUPPLY DEPARTMENT COMMERCIAL SUPPLY REGISTRATION LIST OF MAJOR ORDERS FOR LAST FIVE YEARS Add to Reading List Source URL: en.adssc.ae Language: English - Date: 2014-09-14 07:16:26 Software engineering Programming language theory Computing C Cross-platform software
683	Wykaz publikacji 2013 Artykuły w czasopismach z Impact Factor 1. ADAMOWICZ M., PAPIERZ S., KACPRZYK J., KAMIŃSKI Z., ZMYŚLONY M.: Pomiar Add to Reading List Source URL: www.imp.lodz.pl Language: English - Date: 2014-06-12 05:19:19 Computing Programming language theory ALGOL 68 Software engineering
684	Oral History/Commercial/Cornelius/Transcript 1 COMMERCIAL ORAL HISTORIES OF CENTRAL SYDNEY Add to Reading List Source URL: s3.amazonaws.com Language: English - Date: 2012-10-29 21:51:47 Computing Programming language theory Software engineering ALGOL 68
685	Design and Definition of CeXL and ξ-Calculus Version 0.9.3 ´ Anoq of the Sun, Hardcore Processing Add to Reading List Source URL: www.cex3d.net Language: English - Date: 2015-04-10 16:01:05 Type theory Functional languages Data types Procedural programming languages Subroutines ML Type system Type inference Hindley–Milner Software engineering Programming language theory Computing
686	Microsoft Word - Special Approval 2012.doc Add to Reading List Source URL: www.studentadmin.uwa.edu.au Language: English - Date: 2011-12-15 03:43:17 Software engineering Programming language theory Computing C Cross-platform software
687	Concurrent Architecture for Automated Malware Classification Add to Reading List Source URL: daly.axiom-developer.org Language: English - Date: 2010-03-15 18:54:29 Malware C Programming language theory Computing Procedural programming languages Software engineering
688	Literacy and Numeracy Requirements for NCEA Level 1 This document defines the requirements for NCEA Level 1 from 2012 and transitional arrangements forThe Ministry of Education and NZQA are changing the literacy r Add to Reading List Source URL: schools.reap.org.nz Language: English - Date: 2014-10-23 07:13:26 C programming language Knowledge Literacy Mathematics education Numeracy ALGOL 68 Ext JS Information literacy Struct Programming language theory Computing Software engineering
689	Beyond the PDP-11: Architectural support for a memory-safe C abstract machine David Chisnall Colin Rothwell Robert N. M. Watson Jonathan Woodruff Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-01-14 18:11:07 Data types C++ Primitive types Type theory C programming language Pointer C Type safety Reference Software engineering Computing Computer programming
690	Secure Context-sensitive Authorization Kazuhiro Minami and David Kotz Department of Computer Science, Dartmouth College {minami, dfk}@cs.dartmouth.edu Abstract Add to Reading List Source URL: systemsresilience.org Language: English - Date: 2013-01-05 00:32:20 Mathematical logic Prolog Mathematical proof SQL Idea Computing Cognition Programming language theory

UPDATE